provoSATeur+glucose

by S. Burg, O. Bring­mann, and T. Kropf
In Pro­ceed­ings of SAT Com­pe­ti­tion 2014: Solver and Bench­mark De­scrip­tions B-2014-2. De­part­ment of Com­puter Sci­ence Se­ries of Pub­li­ca­tions, 2014.